Name | # Files |
---|---|
Theorems | 10 |
Name | Format | # Files | Size | Date |
---|---|---|---|---|
libui.a | AR Archive | 295.8 KB | 1994-08-02 |
Name | Format | # Lines | Size | Date |
---|---|---|---|---|
application.c | C/C++ Source or Header | 112 | 3.2 KB | 1994-08-02 |
cmds.h | C/C++ Source or Header | 107 | 2.5 KB | 1994-08-02 |
conic.c | C/C++ Source or Header | 349 | 8.6 KB | 1994-08-02 |
constraint.c | C/C++ Source or Header | 556 | 16.0 KB | 1994-08-02 |
describe.c | C/C++ Source or Header | 197 | 5.9 KB | 1994-08-02 |
doexec.c | C/C++ Source or Header | 445 | 10.2 KB | 1994-08-02 |
filestuff.c | C/C++ Source or Header | 382 | 8.9 KB | 1994-08-02 |
generic.h | C/C++ Source or Header | 104 | 2.6 KB | 1994-08-02 |
geom.c | C/C++ Source or Header | 1,118 | 27.5 KB | 1994-08-02 |
geom.doc | Text File | 580 | 20.3 KB | 1994-08-02 |
geom.h | C/C++ Source or Header | 221 | 7.5 KB | 1994-08-02 |
geometer.sh | Linux/UNIX/POSIX Shell Script | 3 | 47 b | 1994-08-02 |
geomgizmo.h | C/C++ Source or Header | 110 | 2.9 KB | 1994-08-02 |
gettoken.c | C/C++ Source or Header | 213 | 4.3 KB | 1994-08-02 |
gizmo.h | C/C++ Source or Header | 81 | 2.1 KB | 1994-08-02 |
io.c | C/C++ Source or Header | 198 | 5.3 KB | 1994-08-02 |
lookup.c | C/C++ Source or Header | 78 | 1.8 KB | 1994-08-02 |
Makefile | Makefile | 31 | 493 b | 1994-08-02 |
message.c | C/C++ Source or Header | 195 | 4.6 KB | 1994-08-02 |
misc.c | C/C++ Source or Header | 53 | 1.2 KB | 1994-08-02 |
parse.c | C/C++ Source or Header | 1,106 | 29.4 KB | 1994-08-02 |
parse.h | C/C++ Source or Header | 199 | 5.9 KB | 1994-08-02 |
prims.c | C/C++ Source or Header | 802 | 19.5 KB | 1994-08-02 |
print.c | C/C++ Source or Header | 406 | 11.2 KB | 1994-08-02 |
pulldown.c | C/C++ Source or Header | 81 | 2.4 KB | 1994-08-02 |
README | Text File | 33 | 1.1 KB | 1994-08-02 |
showcaseui.h | C/C++ Source or Header | 599 | 18.9 KB | 1994-08-02 |
signal.c | C/C++ Source or Header | 37 | 1.1 KB | 1994-08-02 |
ui.c | C/C++ Source or Header | 1,134 | 25.2 KB | 1994-08-02 |
Name | Format | Size | Date |
---|---|---|---|
geometer | ELF Executable/Library | 321.5 KB | 1994-08-02 |